two-valued logic

But through analyzing two authentication protocols, BAN logic defect in protocol analysis about man-in-the-middle attack and key guessing attack was pointed out, and the improved protocol against a man-in-the-middle attack and one against key guessing attack are given in the paper.

但是，文中通过对两个认证协议的分析，指出了BAN逻辑在对中间人攻击和口令猜测攻击的安全协议分析中存在的缺陷，并对被分析的认证协议进行了改进。

Two outstanding problems in planning practice were pointed, the first is the defect in causality and value logic, the second is that traffic volume forecast is short of credibility.

指出了规划中存在的突出问题：规划逻辑上存在价值逻辑和因果逻辑的缺陷；规划依据的需求预测置信水平不高。

This paper gives a proof of the isomorphism theorem between C_B-algebra and Lu3-algebra. Furthermore constructibility of the Lukasiewicz three-valued logic algebra has been given by the two-valued logic algebra.

本文给出C B代数与Lu3代数同构的详细证明，并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。

Two is: existing as theory, the feminism political thought has its own theoretical logic.

作为一种理论形态存在的女性主义政治思想有自己内在的理论发展逻辑。

On a ternary model of two-valued logic networks

二值逻辑网络的三值模型

The two parts of the plan were governed by the same logic.

计划的两个部分均受到了同一思维方式的制约。

In the movement control module, the virtual human's activities are described based on motion elements, in this way, the human movements are controlled.. Design patterns are used in this module to solve problem of logic relation between objects and communication between the two modules.

在运动控制模块的设计中，基于动作元素描述虚拟人活动来控制虚拟人运动，通过设计模式解决动作对象间的逻辑关系和运动控制模块与人体模型模块间的通信问题。